Lukács e Heidegger diante da ontologia e da revolução social: entrevista com Vitor Bartoletti Sartori

Identificação da Autoria de Manuscritos com Base em Atributos Genéticos e Genéricos da Escrita

Resumo: A grafoscopia é uma área da ciência forense dedicada, entre outros fins, à identificação e a verificação da autoria de manuscritos, sejam eles contemporâneos ou antigos. Por se tratar de uma área onde predomina a subjetividade no uso da técnica pericial ou grafometria, a mesma tem se tornado campo de interesse da computação, na busca de soluções para a padronização e auxílio de tais pro...

Uma Proposta de Ontologia de Referência para Autorização Orçamentária e Execução da Despesa Pública

There are a number of barriers for the consumption of government expenditure data by citizens and computational systems. These include the lack of standardization in the structure of data in portals, as well as the significant complexity of the (highly technical and specialized) subject domain. In this paper we address these problems proposing a reference ontology for the Brazilian government b...

Mensuração da disponibilização de informações e do nível de interação dos ambientes informacionais digitais da administração municipal com a sociedade

The question about value of using information as competitive differential and critical factor of success both in private and in public dimension has obtained increased distinction. Enterprises and public power are worried about questions related to formation of an information society, aiming to maintain the means of production competitive and, in case of public administrations to improve the so...

Gastos com Bens e Serviços de Tecnologia da Informação e Comunicação no Setor Público: um estudo de caso da Prefeitura de São Paulo

Paradoxos Modais e Lógicas da Inconsistência Formal

O trabalho a seguir é fruto de uma pesquisa de um ano na área de lógica formal, mais especificamente em lógica modal e lógica paraconsistente. O texto inicia com uma introdução à Logica Proposicional Clássica, primeiro sistema formal criado e que serve de fundamento a todos os demais sistemas. Há inúmeras obras a respeito do tema (vide [Church, 1956] e [Carnielli and Coniglio, 2006]), entretant...